MGI:4940046 Null/knockout Insm1<tm1Jga> http://identifiers.org/mgd/MGI:4940046 targeted mutation 1, Jaime Garcia-Anoveros